(declare-fun a () Int)
(declare-fun b () Int)
(declare-fun c () Int)
(declare-fun d () Int)
(declare-fun e () Int)
(declare-fun f () Int)
(declare-fun g () Int)
(declare-fun h () Int)
(declare-fun i () Int)
(assert (and (>= a 0) (<= a 1) (>= b 0) (<= b 1) (>= c 0) (<= c 1) (>= g 0) (<= g 1) (>= d 0) (<= d 1) (>= h 0) (<= h 1) (>= e 0) (<= e 1) (>= f 0) (<= f 1) (>= i 0) (<= i 1)))
(assert (= (+ a b c g d h e f i) 1))
(check-sat)
